首页> 外文OA文献 >Using access control for secure information flow in a Java-like language

【2h】

Using access control for secure information flow in a Java-like language

机译：使用访问控制以类似Java的语言进行安全的信息流

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Anindya Banerjee;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Securing Class Initialization in Java-like Languages [J] . Rafnsson Willard, Nakata Keiko, Sabelfeld Andrei Dependable and Secure Computing, IEEE Transactions on . 2013,第1期

机译：用类Java语言保护类初始化
2. Safety-critical design for secure systems: Safety critical programs require a comprehensive approach, that combines the use of specialized languages and tools, rigorously controlled testing, and the use of formal methods [J] . Robert B. K. Dewar Embedded Systems Europe . 2006,第75期

机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
3. Typing access control and secure information flow in sessions [J] . Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini Information and computation . 2014,第nova期

机译：在会话中键入访问控制和安全信息流
4. Using access control for secure information flow in a Java-like language [C] . Banerjee, A., Naumann, . 2003

机译：使用访问控制以类似Java的语言进行安全的信息流
5. A framework for auditable, paper-equivalent electronic forms using data logging, secure access controls, and electronic certificates. [D] . Badia-Reyes, Rene D. 2007

机译：使用数据记录，安全访问控制和电子证书的可审核，等同于纸张的电子表格的框架。
6. Central venous Access device SeCurement And Dressing Effectiveness for peripherally inserted central catheters in adult acute hospital patients (CASCADE): a pilot randomised controlled trial [O] . Raymond J. Chan, Sarah Northfield, Emily Larsen, 2017

机译：成人急性医院患者（CASCADE）外周静脉插入中央导管的中央静脉通路设备的安全和敷料有效性：一项随机对照试验
7. Typing access control and secure information flow in sessions [O] . Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola 2014

机译：在会话中键入访问控制和安全信息流
8. Towards a Secure Programming Language. An Access Control System for CommonLisp [R] . Shrobe, H. 2009

机译：走向安全的编程语言。 CommonLisp的访问控制系统

Using access control for secure information flow in a Java-like language

著录项

引文网络

相似文献

相关主题

期刊订阅